body
{
	padding-top: 1em;
	margin-left: 11em;
	background-color: #00000C;
	color: #FCFCFC;
}

a
{
	color: #CCC;
}

.center
{
	margin-left: auto;
	margin-right: auto;
}

ul.menu
{
	margin: 0;
	width: 8em;
	position: absolute;
	top: 1em;
	left: -0.5em;
	list-style-type: none;
}

ul.menu li
{
	color: #000;
	background-color: #FFFFFF;
	border-right: 1em solid #CCC;
	margin: 0.2em 0 0 0;
	padding: 0.3em;
	font-weight: bold;
}

ul.menu a
{
	color: #000;
}

#proglangs_ul
{
	width: 200px;
}

#topright
{
	position: absolute;
	top: 1em;
	right: 2em;
}

#proglangs_sel
{
	width: 150px;
}
